退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模型检查图转换系统的高效解决方案
L. Baresi; V. Rafe; A. Torkaman Rahmani; P. Spoletini;
机译:用于模型检查图转换系统的启发式解决方案
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:迈向自动化软件模型检查使用图形转换系统和博文
机译:混合系统分析的元建模,图形转换和模型检查
机译:高效的外部内存图搜索,用于模型检查。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:用于稳健高效的微流体生物分子系统的工程解决方案:混合,制造,诊断,建模,防污和功能材料
机译:为非确定性优先级队列建模以进行有效的模型检查
机译:高效模型检查的非确定优先级队列建模
机译:在高级建模系统中表示电子设计的图形的转换
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。